# -*- mode: snippet -*-
# name: Unset Congruence Verbose
# --
Unset Congruence Verbose
